In Basic Linguistic Theory R. M. W. Dixon provides a new and fundamental characterization of the nature of human languages and a comprehensive guide to their description and analysis. In three clearly written and accessible volumes, he describes how best to go about doing linguistics, the most satisfactory and profitable ways to work, and the pitfalls to avoid. In the first vol...(展开全部)

In Basic Linguistic Theory R. M. W. Dixon provides a new and fundamental characterization of the nature of human languages and a comprehensive guide to their description and analysis. In three clearly written and accessible volumes, he describes how best to go about doing linguistics, the most satisfactory and profitable ways to work, and the pitfalls to avoid. In the first vol...(展开全部)

Basic Linguistic Theory provides a fundamental characterization of the nature of human languages and a comprehensive guide to their description and analysis. In crystal-clear prose, R. M. W. Dixon describes how to go about doing linguistics. He show how grammatical structures and rules may be worked out on the basis of inductive generalisations, and explains the steps by which ...(展开全部)

This book explores the far-reaching implications of Eleanor Rosch's seminal work on categorization and prototype theory, extending the application of prototype theory from lexical semantics to morphology, syntax, and phonology. Providing a clear and readable introduction to the field of cognitive linguistics, this acclaimed book has now been updated with a new chapter.

In recent years, superstring theory has emerged as a promising approach to reconciling general relativity with quantum mechanics and unifying the fundamental interactions. Problems that have seemed insuperable in previous approaches take on a totally new character in the context of superstring theory, and some of them have been overcome. Interest in the subject has greatly incr...(展开全部)

Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations. This book presents a rigorous and systematic treatment of the foundational issues: defining cryptographic tasks and solving new cryptographic problems using existing tools. I...(展开全部)

The first part of this volume is based on a course taught at Princeton University in 1961-62; at that time, an excellent set of notes was prepared by David Cantor, and it was originally my intention to make these notes available to the mathematical public with only quite minor changes. Then, among some old papers of mine, I accidentally came across a long-forgotten manuscript b...(展开全部)

The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own l...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)